Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
941	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
942	70 On Knowledge Amplification by Structured Add to Reading List Source URL: www.spawar.navy.mil Language: English - Date: 2001-08-03 17:19:10 Philosophy of science Semantics Artificial intelligence Decision theory Expert system Consequent Predicate Causality Cyc Logic Science Mathematical logic
943	International Journal of Foundations of Computer Science Vol. 19, No. i[removed] Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Model theory Predicate logic Mathematical structures Semantics First-order logic Structure Interpretation Monadic predicate calculus Function Logic Mathematical logic Mathematics
944	[removed]Propositional models Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:16 Propositional calculus Boolean algebra Algebraic logic Logic Truth table Boolean function Canonical form Predicate Logical connective Mathematical logic Mathematics Abstract algebra
945	Monadic Counting Does Not Suffice Steven Lindell, Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:09 Metalogic Predicate logic Semantics First-order logic Quantifier elimination Quantification Well-formed formula Constructible universe Presburger arithmetic Logic Mathematical logic Model theory
946	Feb. 28, [removed]Feb. 28, 2006 Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:21 Model theory First-order logic Predicate logic Interpretation FO Logic Mathematical logic Metalogic
947	IF/Prolog V5.3 Constraints Package Add to Reading List Source URL: www.ifcomputer.de Language: English - Date: 2007-12-17 04:37:32 Prolog Programming paradigms Constraint programming Logic programming Backtracking Predicate B-Prolog Prolog syntax and semantics Software engineering Computer programming Computing
948	Nonsense and Sensibility: Inferring Unseen Possibilities Lauren A. Schmidt, Charles Kemp & Joshua B. Tenenbaum Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology Add to Reading List Source URL: web.mit.edu Language: English - Date: 2006-05-16 21:33:21 Predicate logic Programming paradigms Matrix Predicate Cluster analysis Logic programming Hierarchical clustering Statistics Logic Mathematical logic
949	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
950	Was für N Interrogatives and Quantifier Scope in English-German Interpretation Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:52:57 Language acquisition Grammar Second-language acquisition Predicate logic Human communication Question Interlanguage Quantification De dicto and de re Linguistics Logic Science